A Theorem Proving Approach to Secure Information Flow in Concurrent Programs (Extended Abstract) Daniel Bruns, Karlsruhe Institute of Technology We present an approach to formally prove secure information flow in multi-t

Source URL: software.imdea.org

• Theoretical computer science
• Logic in computer science
• Formal methods
• Mathematical logic
• KeY
• Formal verification
• Dynamic logic
• Automated theorem proving
• Logic
• Language-based security

A Trusted UI for the Mobile Web Bastian Braun1 , Johannes Koestler1 , Joachim Posegga1 , and Martin Johns2 1 Institute of IT Security and Security Law (ISL), University of Passau, Germany 2

Source URL: dl.dropboxusercontent.com

• Software
• Computing
• Computer access control
• Computer security
• Hacking
• Social engineering
• User interface techniques
• Security
• Cross-site request forgery
• Cross-site scripting
• Phishing
• Clickjacking

The Linux Integrity Measurement Architecture and TPM-Based Network Endpoint Assessment Andreas Steffen ITA Institute for Internet Technologies and Applications HSR University of Applied Sciences Rapperswil CH-8640 Rapper

Source URL: www.strongswan.org

• Computer security
• Computing
• Cryptography
• Computer network security
• Trusted computing
• IPsec
• Cryptographic software
• Cryptographic protocols
• StrongSwan
• Trusted Network Connect
• IF-MAP
• Internet Key Exchange

Scientific Report First name / Family name Dr. Dimitrios Simos

Source URL: fellowship.ercim.eu

• Cryptography
• Computing
• Security
• Engineering
• SimOS
• Computer science
• Software testing
• Institute for Applied Information Processing and Communications
• International Conference on Availability
• Reliability and Security
• Computer security
• Post-quantum cryptography

The SANS Technology Institute makes shorter groups of courses available to students who are unable to commit to a full master’s degree program. These certificate programs will augment your skills, provide specialized t

Source URL: www.sans.edu

• Computer network security
• Global Information Assurance Certification
• SANS Institute
• Computer security
• Intrusion detection system

Massachusetts Institute of Technology 6.857: Network and Computer Security Professor Ron Rivest Handout 2 February 13, 2012

Source URL: courses.csail.mit.edu

Targeted Risk Communication for Computer Security Jim Blythe USC Information Sciences Institute

Source URL: www.isi.edu

ITL Bulletin, Increasing Visibility and Control of Your ICT Supply Chains (June 2015)

Source URL: csrc.nist.gov

• Computer security
• Business
• Risk analysis
• Data security
• Computing
• Supply chain management
• Supply chain risk management
• National Institute of Standards and Technology
• Security controls
• Open Trusted Technology Provider Standard

The Strengths of Weaker Identities: Opportunistic Personas∗ Mark Allman, Christian Kreibich, Vern Paxson, Robin Sommer, Nicholas Weaver International Computer Science Institute Abstract

Source URL: www1.icsi.berkeley.edu

• Cryptography
• Spamming
• Key management
• Public-key cryptography
• Computer security
• Spam filtering
• Password
• Whitelist
• Persona
• Key
• Email client
• Phishing

Connection Science and Engineering: What problems does network research need to solve? Industry Panel at Workshop on Information and Decision Science The world is moving to distributed, network systems for health, financ

Source URL: wids.lids.mit.edu

• Security
• Computing
• MIT Media Lab
• Massachusetts Institute of Technology
• Data visualization
• Computer security